<html>
<head><meta charset="utf-8"><title>names of things · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/names.20of.20things.html">names of things</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="193828424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/names%20of%20things/near/193828424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/names.20of.20things.html#193828424">(Apr 13 2020 at 22:16)</a>:</h4>
<p>So at some point <span class="user-mention" data-user-id="119009">@eddyb</span>, <span class="user-mention" data-user-id="220273">@Jane Lusby</span> and I (and maybe others) were discussing the names of things in chalk and rustc. I've created <a href="https://docs.google.com/spreadsheets/d/15OkcSFXIeYPUhJrFWfDaKme-crUJ89hERrUF2n4FVSI/edit?usp=sharing" title="https://docs.google.com/spreadsheets/d/15OkcSFXIeYPUhJrFWfDaKme-crUJ89hERrUF2n4FVSI/edit?usp=sharing">this spreadsheet</a> that contains I think a fairly complete list of the types in chalk-ir and their counterparts in rustc. There are a number of places where the names disagree. I'd sort of like to have the names match up better, and I'd like to discuss if this is an opportunity to clarify some of the naming schemes.</p>
<p>Some of the things to settle on:</p>
<ul>
<li>chalk uses the <code>Data</code> suffix, where rustc uses <code>Kind</code> (e.g., <code>TyData</code> vs <code>TyKind</code>)</li>
<li>what to call <code>TraitRef</code>, which seems to be quite confusing?</li>
<li>what to call a <code>Substitution</code>?</li>
</ul>
<p>Anyway, I've started putting in a few notes, and made the spreadsheet open for comments, so you can leave comments with thoughts.</p>



<a name="193829535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/names%20of%20things/near/193829535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/names.20of.20things.html#193829535">(Apr 13 2020 at 22:27)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="193862682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/names%20of%20things/near/193862682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tirr-c <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/names.20of.20things.html#193862682">(Apr 14 2020 at 08:09)</a>:</h4>
<p>if I understand correctly, <code>TraitRef</code> has the information <code>T0 implements Trait&lt;T1, ..., Tn&gt;</code>, right? I was confused at first, because the name <code>TraitRef</code> doesn't seem to be related with self types</p>



<a name="193863863"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/names%20of%20things/near/193863863" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/names.20of.20things.html#193863863">(Apr 14 2020 at 08:21)</a>:</h4>
<p>In goal context that is correct</p>



<a name="193864308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/names%20of%20things/near/193864308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/names.20of.20things.html#193864308">(Apr 14 2020 at 08:25)</a>:</h4>
<p>It can also mean <code>&lt;T0 as Trait&lt;T1, ..., Tn&gt;&gt;</code></p>



<a name="193864685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/names%20of%20things/near/193864685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/names.20of.20things.html#193864685">(Apr 14 2020 at 08:29)</a>:</h4>
<p>It is used in the latter meaning in methods on <code>AliasTy</code></p>



<a name="193865338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/names%20of%20things/near/193865338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tirr-c <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/names.20of.20things.html#193865338">(Apr 14 2020 at 08:37)</a>:</h4>
<p>so it's about the relation between self type and trait</p>



<a name="193865926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/names%20of%20things/near/193865926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tirr-c <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/names.20of.20things.html#193865926">(Apr 14 2020 at 08:43)</a>:</h4>
<p>it would be good to know that it also has the information of self type, it would be best if one can know from its name</p>



<a name="193866153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/names%20of%20things/near/193866153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/names.20of.20things.html#193866153">(Apr 14 2020 at 08:45)</a>:</h4>
<p>Since it means both those things, I can't come up with a better name to be honest</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>